More from this Author

Typed Lambda Calculi and Applications

by P. De Groote (Editor), J. R. Hindley (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)